Nuprl Definition : cctail? 11,40
cctail?(x) == chain_config_ind(x;ff;tt;id.ff;id,num.ff) 
latex

Definitionschain_config_ind(x;head;tail;id.pred(id);id,num.succ(id;num)), tt, ff
FDL editor aliasescctail?

origin